provablechứng minh có thể kiểm chứng ngẫu nhiên (độ phức tạp): probabilistically checkable proofkhông thể chứng minh được: incapable of proofvăn kiện chứng minh có thực: Từ điển kinh doanhvalid documentation